-- Test wrong ending
    DEF def(X:nat; Y:nat):nat == 0	
    DEF MAIN:bool == true
